Перевод: с английского на русский

с русского на английский

lambda conversion

См. также в других словарях:

  • Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …   Wikipédia en Français

  • Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …   Wikipédia en Français

  • Conversion of units — is the conversion between different units of measurement for the same quantity, typically through multiplicative conversion factors. Contents 1 Techniques 1.1 Process 1.2 Multiplication factors …   Wikipedia

  • Lambda lifting — or closure conversion is the process of eliminating free variables from local function definitions from a computer program. The elimination of free variables allows the compiler to hoist local definitions out of their surrounding contexts into a… …   Wikipedia

  • Conversion Des Unités — Cet article énumère des facteurs de conversion entre un certain nombre d unités de mesure. Légende : ≡ définition = exactement égal ≈ approximativement égal Sommaire 1 Longueur 2 Surface 3 Volume capacité …   Wikipédia en Français

  • Conversion d'unité — Conversion des unités Cet article énumère des facteurs de conversion entre un certain nombre d unités de mesure. Légende : ≡ définition = exactement égal ≈ approximativement égal Sommaire 1 Longueur 2 Surface 3 Volume capacité …   Wikipédia en Français

  • Conversion des unites — Conversion des unités Cet article énumère des facteurs de conversion entre un certain nombre d unités de mesure. Légende : ≡ définition = exactement égal ≈ approximativement égal Sommaire 1 Longueur 2 Surface 3 Volume capacité …   Wikipédia en Français

  • Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …   Wikipedia

  • Lambda-calcul — Le lambda calcul (ou λ calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives …   Wikipédia en Français

  • Conversión de coordenadas eclípticas a coordenadas ecuatoriales — Se trata de convertir coordenadas celestes de un tipo en otro. Contenido 1 Las fórmulas 2 El cálculo y resolución de las ambigüedades 3 Un applet en Java Script 4 …   Wikipedia Español

  • Conversión de coordenadas ecuatoriales a coordenadas eclípticas — Se trata de convertir coordenadas celestes de un tipo en otro. Contenido 1 Las fórmulas 2 El cálculo y resolución de ambigüedades 3 Un applet en Java Script 4 …   Wikipedia Español

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»